#include <stdio.h>
int main()
{
    int add=0;
    int ans[100]={0};
    ans[0]=1;
    for(int i=0;i<11213;i++){
        add=0;
    	for(int j=0;j<100;j++){
      		ans[j]=2*ans[j]+add;
      		add=ans[j]/10;
      		ans[j]%=10;
    	}
  	}
  	ans[0] -= 1;
  	for(int j=99;j>=0;j--){
    	printf("%d",ans[j]);
  	}
  	return 0;
}
